An Extensible Module Algebra For Maude

An extensible module algebra for Maude

The fact that rewriting logic and Maude are reeective, so that rewriting logic speciications can be manipulated as terms at the metalevel, opens up the possibility of deening an algebra of module composition and transformation operations within the logic. This makes such a module algebra easily modiiable and extensible, enables the implementation of language extensions within Maude, and allows ...

Module Algebra for Relational Specifications

Module algebra is described as a parametrised data type that takes a three sorted parameter, involving signatures, renamings and atomic specifications. An actual parameter describing relational specifications is given and a biinterpretation model is made for the resulting specification. 1986 CR Categories: D.2.0 [software engineering]: requirements/ specificationslanguages; D.2.2 [software engi...

Maude's module algebra

SEFS: Security Module for Extensible File System Architectures

Data security is a fundamental issue in modern computer systems. In particular, data storage systems are frequently subject to attacks and so need protection. Typical storage systems rely on access control mechanisms, either physical or logical, to prevent unauthorized users from accessing stored data. However, such mechanisms are useless against non-ethical attitudes taken by privileged users,...

An Extensible Architecture For

iii Acknowledgments I would like to thank Professor Roy H. Campbell for his considerable assistance in providing direction and helping me successfully achieve my goals for this project. Special thanks to Fabio Kon for providing support in many ways, the answers to many questions, and for performing an excellent review of this thesis. I also want to thank the other members of the 2K project team...